Nuprl Definition : ma-v
11,40
postcript
pdf
M
.V(
k
) == Valtype((
M
.2).1;
k
)
latex
Definitions
Valtype(
da
;
k
)
,
t
.1
,
t
.2
FDL editor aliases
ma-v
origin